Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
191	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
192	CS168: The Modern Algorithmic Toolbox Lecture #10: Tensors, and Low-Rank Tensor Recovery Tim Roughgarden & Gregory Valiant April 27, 2016 Last lecture discussed singular value decomposition (SVD), and we saw how such dec Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-06-04 09:49:43 Linear algebra Matrix theory Matrices Binary operations Numerical linear algebra Tensor Rank Higher-order singular value decomposition Singular value decomposition Matrix Outer product Eigenvalues and eigenvectors
193	1. Thank you for the invitation. 2. I gave an invited talk at CCA in Hagen, I think it was in 2008, where I spoke about real numbers. Today I am speaking about real numbers again. You know what to expect the next time. Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-06-16 04:03:45 Elementary mathematics Metric geometry Order theory Real numbers Real algebraic geometry Complete metric space Cauchy sequence Construction of the real numbers Augustin-Louis Cauchy Sequence Least-upper-bound property Completeness
194	A Tensor Spectral Approach to Learning Mixed Membership Community Models arXiv:1302.2684v4 [cs.LG] 24 OctAnima Anandkumar1 , Rong Ge2 , Daniel Hsu3 , and Sham M. Kakade3 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-27 21:56:48 Networks Graph theory Probability distributions Machine learning Statistical models Community structure Dirichlet distribution Higher-order singular value decomposition Stochastic block model Gibbs sampling Markov chain Tensor
195	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox
196	ES 111 Mathematical Methods in the Earth Sciences Problem Set 8 - Due Mon 30th Nov 2015 Warmup (NPC) 1) Find the general solutions to the following second-order constant coefficient differential equations: a) y 00 − y Add to Reading List Source URL: www.es.ucsc.edu Language: English - Date: 2015-11-24 13:46:57 Ordinary differential equations Differential equations Separation of variables Homogeneous differential equation Wave equation Equation solving Harmonic oscillator Method of undetermined coefficients SturmLiouville theory
197	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
198	Budgeted Online Collective Inference Jay Pujara University of Maryland Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2015-07-31 17:33:33 Graphical models Statistical theory Probability theory Statistical models Bayesian inference Statistical inference Bayesian network Markov random field Belief propagation Scala First-order logic Loss function
199	COE CST Fifth Annual Technical Meeting Task 293. Reduced Order Non-Liner Structural Model Donghyeon Ryu, Ph.D. Add to Reading List Source URL: www.coe-cst.org Language: English - Date: 2015-10-28 10:26:38 Model theory Universal algebra Mathematical logic COMSOL Multiphysics Substructure MATLAB Age Algorithm Structure
200	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable

UPDATE